$M$.init($x$,$v$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$x_{0}$ != ($M$.2.2).1($x$) $\Rightarrow$ $v$ = $x_{0}$